(\forall x \selec salidas(h))(\exists y \selec ingresos(h))(prm(x)==prm(prm(y)) \bigwedge sgd(x) \textgreater sgd(prm(y))) \\ \wedge \neg (\exists z \selec salidas(h))(sgd(prm(y)) \textless sgd(z) \textless sgd(x))
